9x9 Tim Stellmach 2017.txt
Order 3: digits 9; houses 27, cells 81.
Grid.grid1: initial copying
pending={a1, a2, a5, b1, b4, b5, b6, c2, c3, c8, d1, d5, d9, e1, e4, e6, e9, f1, f5, f9, g2, g7, g8, h4, h5, h6, h9, i5, i8, i9}
deduce.grid1: naked-singles
- e5 is 5 by naked-single.
pending={e5}
- e2 is 2 by naked-single.
pending={e2}
- e8 is 9 by naked-single.
pending={e8}
- e3 is 6 by naked-single.
pending={e3}
- e7 is 7 by naked-single.
pending={e7}
- f4 is 9 by naked-single.
pending={f4}
- d4 is 7 by naked-single.
pending={d4}
- g5 is 3 by naked-single.
pending={g5}
- c5 is 4 by naked-single.
pending={c5}
- c6 is 2 by naked-single.
pending={c6}
- a4 is 6 by naked-single.
pending={a4}
- a6 is 8 by naked-single.
pending={a6}
- c1 is 1 by naked-single.
pending={c1}
- c4 is 3 by naked-single.
pending={c4}
- c7 is 5 by naked-single.
pending={c7}
- c9 is 7 by naked-single.
pending={c9}
- d7 is 4 by naked-single.
pending={d7}
- d6 is 1 by naked-single.
pending={d6}
- d2 is 5 by naked-single.
pending={d2}
- d3 is 9 by naked-single.
pending={d3}
- d8 is 2 by naked-single.
pending={d8}
- f2 is 1 by naked-single.
pending={f2}
- f3 is 3 by naked-single.
pending={f3}
- f6 is 4 by naked-single.
pending={f6}
- f7 is 8 by naked-single.
pending={f7}
- b7 is 3 by naked-single.
pending={b7}
- b8 is 4 by naked-single.
pending={b8}
- a8 is 1 by naked-single.
pending={a8}
- a7 is 9 by naked-single.
pending={a7}
- a9 is 2 by naked-single.
pending={a9}
- a3 is 4 by naked-single.
pending={a3}
- b2 is 7 by naked-single.
pending={b2}
- b3 is 2 by naked-single.
pending={b3}
- b9 is 8 by naked-single.
pending={b9}
- f8 is 5 by naked-single.
pending={f8}
- g1 is 9 by naked-single.
pending={g1}
- g4 is 5 by naked-single.
pending={g4}
- g6 is 7 by naked-single.
pending={g6}
- g3 is 1 by naked-single.
pending={g3}
- g9 is 4 by naked-single.
pending={g9}
- h2 is 8 by naked-single.
pending={h2}
- h3 is 7 by naked-single.
pending={h3}
- h7 is 6 by naked-single.
pending={h7}
- h8 is 3 by naked-single.
pending={h8}
- h1 is 2 by naked-single.
pending={h1}
- i1 is 3 by naked-single.
pending={i1}
- i2 is 4 by naked-single.
pending={i2}
- i3 is 5 by naked-single.
pending={i3}
- i4 is 2 by naked-single.
pending={i4}
- i6 is 6 by naked-single.
pending={i6}
- i7 is 1 by naked-single.
pending={i7}
deduce.grid1. Solved.
grid1
|
| 1
| 2
| 3
| 4
| 5
| 6
| 7
| 8
| 9
|
| a
| 5
| 3
| 4
| 6
| 7
| 8
| 9
| 1
| 2
|
| b
| 6
| 7
| 2
| 1
| 9
| 5
| 3
| 4
| 8
|
| c
| 1
| 9
| 8
| 3
| 4
| 2
| 5
| 6
| 7
|
| d
| 8
| 5
| 9
| 7
| 6
| 1
| 4
| 2
| 3
|
| e
| 4
| 2
| 6
| 8
| 5
| 3
| 7
| 9
| 1
|
| f
| 7
| 1
| 3
| 9
| 2
| 4
| 8
| 5
| 6
|
| g
| 9
| 6
| 1
| 5
| 3
| 7
| 2
| 8
| 4
|
| h
| 2
| 8
| 7
| 4
| 1
| 9
| 6
| 3
| 5
|
| i
| 3
| 4
| 5
| 2
| 8
| 6
| 1
| 7
| 9
|
grid1. Copying solution to raw grid.